Search Results for ''

published presentations and documents on DocSlides.

DoubleChecker: Efficient Sound and Precise Atomicity Checki

by karlyn-bohler

Swarnendu Biswas, . Jipeng Huang, Aritra Sengupta...

DoubleChecker: Efficient Sound and Precise Atomicity Checki

by myesha-ticknor

Swarnendu Biswas, . Jipeng Huang, Aritra Sengupta...